#include<types.h>

uint64_t __fixunsdfdi(double a)
{
    return (uint32_t)a;
}


